#ifndef __DRV_UART_H__
#define __DRV_UART_H__

void uart_init();
void uart_send(unsigned int c);
char uart_getc();
void uart_puts(char *s);

#endif /* __DRV_UART_H__ */
